<?php
function score(array $input) {
    $var0 = null;
    if ($input[12] >= 9.725) {
        if ($input[12] >= 19.23) {
            $var0 = 3.5343752;
        } else {
            $var0 = 5.5722494;
        }
    } else {
        if ($input[5] >= 6.941) {
            $var0 = 11.1947155;
        } else {
            $var0 = 7.4582143;
        }
    }
    $var1 = null;
    if ($input[12] >= 5.1549997) {
        if ($input[12] >= 15.0) {
            $var1 = 2.8350503;
        } else {
            $var1 = 4.8024607;
        }
    } else {
        if ($input[5] >= 7.406) {
            $var1 = 10.0011215;
        } else {
            $var1 = 6.787523;
        }
    }
    return 0.5 + ($var0 + $var1);
}
